“Programmes d’éléments finis formellement vérifiés”, with Toccata (Inria Saclay - Île-de-France), LIX (École Polytechnique), CEA LIST , LIPN (Université de Paris 13), and LMAC (Université de Technologie de Compiègne).